# 给你一个二进制字符串数组 strs 和两个整数 m 和 n 。
#  请你找出并返回 strs 的最大子集的长度，该子集中 最多 有 m 个 0 和 n 个 1 。
#  如果 x 的所有元素也是 y 的元素，集合 x 是集合 y 的 子集 。
#
#  示例 1：
# 输入：strs = ["10", "0001", "111001", "1", "0"], m = 5, n = 3
# 输出：4
# 解释：最多有 5 个 0 和 3 个 1 的最大子集是 {"10","0001","1","0"} ，因此答案是 4 。
# 其他满足题意但较小的子集包括 {"0001","1"} 和 {"10","1","0"} 。{"111001"} 不满足题意，因为它含 4 个 1 ，大于
# n 的值 3 。
#
#  示例 2：
# 输入：strs = ["10", "0", "1"], m = 1, n = 1
# 输出：2
# 解释：最大的子集是 {"0", "1"} ，所以答案是 2 。
from typing import List
from collections import Counter


class Solution:
    def findMaxForm(self, strs: List[str], m: int, n: int) -> int:
        """
        动态规划
        两重背包，数组的元素只能选或者不选，不可重复
        要同时考虑到 '0' 和 '1'的个数不能超过要求
        :param strs:
        :param m:
        :param n:
        :return:
        """
        strLen = len(strs)
        # dp[i][j][k] 表示 在strs的前 i 个元素(strs[0: i + 1])中选取若干个元素，能满足子集中 有 j 个 "0" 和 k 个 "1" 的最大子集长度
        dp = [[[0] * (n + 1) for j in range(m + 1)] for i in range(strLen + 1)]
        for i in range(1, strLen + 1):
            tmpWordCount = Counter(strs[i - 1])
            zeros, ones = tmpWordCount['0'], tmpWordCount['1']
            for j in range(m + 1):
                for k in range(n + 1):
                    if j >= tmpWordCount['0'] and k >= tmpWordCount['1']:  # 当前字符串的"0","1"的个数比遍历的i，j下标小，则可选可不选，取较大即可
                        dp[i][j][k] = max(dp[i - 1][j][k], dp[i - 1][j - zeros][k - ones] + 1)
                    else:  # 当前字符串的"0","1"的个数比遍历的i，j下标大，则当前字符串一定不可选
                        dp[i][j][k] = dp[i - 1][j][k]
        return dp[strLen][m][n]


if __name__ == "__main__":
    strs, m, n = ["10", "0001", "111001", "1", "0"], 5, 3
    strs, m, n = ["10", "0", "1"], 1, 1
    print(Solution().findMaxForm(strs, m, n))
